package com.googlecode.kipler.satisfiability.clash;

import java.util.Set;

import com.googlecode.kipler.container.dl.ABox;
import com.googlecode.kipler.container.dl.DependencySet;
import com.googlecode.kipler.syntax.formula.Formula;


/**
 * 
 * @author İnanç Seylan
 * 
 */
public interface ClashDetectionStrategy {
	public boolean hasClash(ABox abox, Formula formula);

	public DependencySet getDependencySet();

	public String getExplanation();
	
	public Set<Formula> getClashCause();
}
